|
Your search returned 10 records. Click on the hyperlinks to view further details of Titles.. |
Magazine Name : Ieee Transactions On Software Engineering
|
Year : 1994 Volume number : 20 Issue: 10 |
Simulating The Behavior Of Software Modules By Trace Rewriting
(Article)
Subject:
Finite-State Machine (Fsm)
,
Formal Specification
,
Software Tools
Author:
Yabo
Wang
David Lorge
Parnas
page:
750
-
759
A Framework For Expressing The Relationships Between Multiple Views In Requirements Specification
(Article)
Subject:
Multiple Views
,
Specification
,
Method Engineering
Author:
Bashar
Nuseibeh
Jeff
Kramer
Anthony C. W.
Finkelstein
page:
760
-
773
Prototyping A Process Monitoring Experiment
(Article)
Subject:
Prototyping
,
Process Monitoring
,
Process Analysis For All Composters.
Author:
Mark G.
Bradac
Dewayne E.
Perry
Lawrence G.
Votta
page:
774
-
797
Swsl A Synthetic Workload Specification Language For Real Time Systems
(Article)
Subject:
Synthetic Wastewater
,
Performance And Ltmf
,
Real Time
Author:
Daniel L.
Kiskis
Kang G.
Shin
page:
798
-
811
Swsl A Synthetic Workload Specification Language For Real-Time Sysstems
(Article)
Subject:
Synthetic Workloads
,
Real-Time Workloads
,
Performance And Dependability Measurement Experiments
Author:
Daniel L.
Kiskis
Kang G.
Shin
page:
798
-
811
A Markov Chain Model For Statistical Software Trsting
(Article)
Subject:
Markov Chain
,
Test Case Generation
Author:
James A.
Whittaker
Michael G.
Thomason
page:
812
-
832
Schlumberger' Software Improvement Program
(Article)
Subject:
Sei
,
Process Improvement
,
Software Processes
,
Software Engineering
Author:
Harvey
Wohlwend
Susan
Rosenbaum
page:
833
-
839
Introducing Object Orientation Into Large And Complex Systems
(Article)
Subject:
Systems Architecture
,
Restructuring
,
Operating Systems
Author:
Hanns-Helmuth
Deubler
Meinhard
Koestler
page:
840
-
848
An Application Of Artificial Intelligence To Object Oriented Performance Design For Real-Time Systems
(Article)
Subject:
Artificial Intelligence
,
Qualitative Reasoning
,
Object-Oriented Design
Author:
Shinichi
Honiden
Kazuko
Nishimura
page:
849
-
867
On A Unified Reamework For The Evaluation Of Distribued Quorum Attainment Protocols
(Article)
Subject:
Author:
page:
868
-
883
|
|
| | |